MODULE Proced2;

FROM Terminal IMPORT WriteString, WriteInt;

PROCEDURE PrintDataOut(Puppy : INTEGER);
BEGIN
   WriteString("The value of Puppy is     ");
   WriteInt(Puppy,5);
END PrintDataOut;

BEGIN
    PrintDataOut("Puppy");
END;
    
END Proced2.